$\forall$$A$, $B$, $C$:$\mathbb{P}$. ($A$ \& ($B$ \& $C$)) $\Leftarrow\!\Rightarrow$ (($A$ \& $B$) \& $C$)